1st theorem of homorphism